/*@
 */
int main ()
{
  int i;
  i = 5;
  i = i-1;
  i = 10 - i;
  i = 2*i;
  i = i +1;
  return i;
}
/*@
 */
